Ontologies formally represent reality in a way that limits ambiguity and facilitates automated reasoning and data fusion, but is often daunting to the non-technical user. Thus, many researchers have endeavored to hide the formal syntax and semantics of ontologies behind the constructs of Controlled Natural Languages (CNLs), which retain the formal properties of ontologies while simultaneously presenting that information in a comprehensible natural language format. In this paper, we build upon previous work in this field by evaluating prospects of implementing (...) International Technology Alliance Controlled English (ITACE) as a middleware for ontology editing. We also discuss at length a prototype of a natural language conversational interface application designed to facilitate ontology editing via the formulation of CNL constructs. (shrink)

Broadening access to both computational and educational resources is crit- ical to diffusing machine learning (ML) innovation. However, today, most ML resources and experts are siloed in a few countries and organizations. In this article, we describe our pedagogical approach to increasing access to applied ML through a massive open online course (MOOC) on Tiny Machine Learning (TinyML). We suggest that TinyML, applied ML on resource-constrained embedded devices, is an attractive means to widen access because TinyML leverages low-cost and globally (...) accessible hardware and encourages the development of complete, self-contained applications, from data collection to deployment. To this end, a collaboration between academia and industry produced a four part MOOC that provides application-oriented instruction on how to develop solutions using TinyML. The series is openly available on the edX MOOC platform, has no prerequisites beyond basic programming, and is designed for global learners from a variety of backgrounds. It introduces real-world applications, ML algorithms, data-set engineering, and the ethi- cal considerations of these technologies through hands-on programming and deployment of TinyML applications in both the cloud and on their own microcontrollers. To facili- tate continued learning, community building, and collaboration beyond the courses, we launched a standalone website, a forum, a chat, and an optional course-project com- petition. We also open-sourced the course materials, hoping they will inspire the next generation of ML practitioners and educators and further broaden access to cutting-edge ML technologies. (shrink)

Disputes over territory are a major contributing factor to the disruption of international relations. We believe that a cumulative, integrated, and continuously updated resource providing information about such disputes in an easily accessible form would be of benefit to intelligence analysts, military strategists, political scientists, and also to historians and others concerned with international disputes. We propose an ontology-based strategy for creating such a resource. The resource will contain information about territorial disputes, arguments for and against claims pertaining to sovereignty, (...) proffered evidence for such claims, political and military motives (overt or hidden), and associated conflicts. Our approach is designed to address several issues surrounding the representation of geopolitical conflict, including the tracking and individuation of disputes and the validation of disseminated information. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

Ontologies, as the term is used in informatics, are structured vocabularies comprised of human- and computer-interpretable terms and relations that represent entities and relationships. Within informatics fields, ontologies play an important role in knowledge and data standardization, representation, integra- tion, sharing and analysis. They have also become a foundation of artificial intelligence (AI) research. In what follows, we outline the Coronavirus Infectious Disease Ontology (CIDO), which covers multiple areas in the domain of coronavirus diseases, including etiology, transmission, epidemiology, pathogenesis, diagnosis, (...) prevention, and treatment. We emphasize CIDO development relevant to COVID-19. (shrink)

Current COVID-19 pandemic and previous SARS/MERS outbreaks have caused a series of major crises to global public health. We must integrate the large and exponentially growing amount of heterogeneous coronavirus data to better understand coronaviruses and associated disease mechanisms, in the interest of developing effective and safe vaccines and drugs. Ontologies have emerged to play an important role in standard knowledge and data representation, integration, sharing, and analysis. We have initiated the development of the community-based Coronavirus Infectious Disease Ontology (CIDO). (...) As an Open Biomedical Ontology (OBO) library ontology, CIDO is an open source and interoperable with other existing OBO ontologies. In this article, the general architecture and the design patterns of the CIDO are introduced, CIDO representation of coronaviruses, phenotypes, anti-coronavirus drugs and medical devices (e.g. ventilators) are illustrated, and an application of CIDO implemented to identify repurposable drug candidates for effective and safe COVID-19 treatment is presented. (shrink)

I defend normative externalism from the objection that it cannot account for the wrongfulness of moral recklessness. The defence is fairly simple—there is no wrong of moral recklessness. There is an intuitive argument by analogy that there should be a wrong of moral recklessness, and the bulk of the paper consists of a response to this analogy. A central part of my response is that if people were motivated to avoid moral recklessness, they would have to have an unpleasant sort (...) of motivation, what Michael Smith calls “moral fetishism”. (shrink)

F-relevant respects are never precisely defined, but the intuitive idea is clear enough. Smart- relevant respects are mental abilities, Philosopher-relevant respects presumably include where one is employed, what kinds of things one writes, etc, and, most importantly for this paper, the only Tall-relevant respect is height.

Enneads I: 8.14 poses significant problems for scholars working in the Plotinian secondary literature. In that passage, Plotinus gives the impression that the body and not the soul is causally responsible for vice. The difficulty is that in many other sections of the same text, Plotinus makes it abundantly clear that the body, as matter, is a mere privation of being and therefore represents the lowest rung on the proverbial metaphysical ladder. A crucial aspect to Plotinus’s emanationism, however, is that (...) lower levels of a metaphysical hierarchy cannot causally influence higher ones and, thus, there is an inconsistency in the Egyptian’s magnum opus, or so it would seem. Scholars have sought to work through this paradox by positing that Plotinus is a “paleolithic Platonist” or Socratic. The advantage of this approach is that one may be able to resolve the tension by invoking Socrates’s eliminativist solution to the problem of weakness of will, as found in The Protagoras. In the following article, I argue that such attempts are not wrong-headed just underdetermined. They take up the standard reading of Socratic moral intellectualism, namely the “informational” interpretation and, therefore, fail to render a coherent view of Plotinus’s moral philosophy. The following paper, in contrast, utilizes a new reading of intellectualism advanced by Brickhouse and Smith, which, when subtended with a “powers approach” to causality, resolves the aforementioned, problematic passage of Enneads. (shrink)

In this paper we respond to three objections raised by Joshua Harris to our article, “Against a Postmodern Pentecostal Epistemology,” in which we express misgivings about the conjunction of Pentecostalism with James K. A. Smith’s postmodern, story-based epistemolo- gy. According to Harris, our critique: 1) problematically assumes a correspondence theory of truth, 2) invalidly concludes that “Derrida’s Axiom” conflicts with “Peter’s Axiom,” and 3) fails to consider an alternative account of the universality of Christian truth claims. We argue that (...) Harris’s objections either demonstrate a deficient interpretation of the relevant biblical pas- sages or are not directed at us at all. (shrink)

The slides of a talk given at the Cavendish Laboratory in 2001, relating brain function to concepts such as hyperstructure theory (Baas), Memory Evolutive Systems (Ehresmann), and representational redescription (A Karmiloff-Smith).

In this paper we explore the idea that Pentecostalism is best supported by conjoining it to a postmodern, narrative epistemology in which everything is a text requiring interpretation. On this view, truth doesn’t consist in a set of uninterpreted facts that make the claims of Christianity true; rather, as James K. A. Smith says, truth emerges when there is a “fit” or proportionality between the Christian story and one’s affective and emotional life. We argue that Pentecostals should reject this (...) account of truth, since it leads to either a self-refuting story-relativism or the equally problematic fallacy of story-ism: favoring one’s own story over others without legitimate reason. In either case, we contend, the gospel itself is placed at risk. (shrink)

Given a few assumptions, the probability of a conjunction is raised, and the probability of its negation is lowered, by conditionalising upon one of the conjuncts. This simple result appears to bring Bayesian confirmation theory into tension with the prominent dogmatist view of perceptual justification – a tension often portrayed as a kind of ‘Bayesian objection’ to dogmatism. In a recent paper, David Jehle and Brian Weatherson observe that, while this crucial result holds within classical probability theory, it fails (...) within intuitionistic probability theory. They conclude that the dogmatist who is willing to take intuitionistic logic seriously can make a convincing reply to the Bayesian objection. In this paper, I argue that this conclusion is premature – the Bayesian objection can survive the transition from classical to intuitionistic probability, albeit in a slightly altered form. I shall conclude with some general thoughts about what the Bayesian objection to dogmatism does and doesn’t show. (shrink)

We live in a world of crowds and corporations, artworks and artifacts, legislatures and languages, money and markets. These are all social objects — they are made, at least in part, by people and by communities. But what exactly are these things? How are they made, and what is the role of people in making them? In The Ant Trap, Brian Epstein rewrites our understanding of the nature of the social world and the foundations of the social sciences. Epstein (...) explains and challenges the three prevailing traditions about how the social world is made. One tradition takes the social world to be built out of people, much as traffic is built out of cars. A second tradition also takes people to be the building blocks of the social world, but focuses on thoughts and attitudes we have toward one another. And a third tradition takes the social world to be a collective projection onto the physical world. Epstein shows that these share critical flaws. Most fundamentally, all three traditions overestimate the role of people in building the social world: they are overly anthropocentric. Epstein starts from scratch, bringing the resources of contemporary metaphysics to bear. In the place of traditional theories, he introduces a model based on a new distinction between the grounds and the anchors of social facts. Epstein illustrates the model with a study of the nature of law, and shows how to interpret the prevailing traditions about the social world. Then he turns to social groups, and to what it means for a group to take an action or have an intention. Contrary to the overwhelming consensus, these often depend on more than the actions and intentions of group members. (shrink)

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) is not an (...) esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87). (shrink)

This paper calls for a re-appraisal of McGee's analysis of the semantics, logic and probabilities of indicative conditionals presented in his 1989 paper Conditional probabilities and compounds of conditionals. The probabilistic measures introduced by McGee are given a new axiomatisation built on the principle that the antecedent of a conditional is probabilistically independent of the conditional and a more transparent method of constructing such measures is provided. McGee's Dutch book argument is restructured to more clearly reveal that it introduces a (...) novel contribution to the epistemology of semantic indeterminacy, and shows that its more controversial implications are unavoidable if we want to maintain the Ramsey Test along with the standard laws of probability. Importantly, it is shown that the counterexamples that have been levelled at McGee's analysis|generating a rather wide consensus that it yields `unintuitive' or `wrong' probabilities for compounds |fail to strike at their intended target; for to honour the intuitions of the counterexamples one must either give up the Ramsey Test or the standard laws of probability. It will be argued that we need to give up neither if we take the counterexamples as further evidence that the indicative conditional sometimes allows for a non-epistemic `causal' interpretation alongside its usual epistemic interpretation. (shrink)

This paper develops a new argument from consciousness to theism: the argument from psychophysical harmony. Roughly, psychophysical harmony consists in the fact that phenomenal states are correlated with physical states and with one another in strikingly fortunate ways. For example, phenomenal states are correlated with behavior and functioning that is justified or rationalized by those very phenomenal states, and phenomenal states are correlated with verbal reports and judgments that are made true by those very phenomenal states. We argue that psychophysical (...) harmony is strong evidence for theism (or, at least, strong evidence against atheism in its standard naturalistic form). (shrink)

This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

Certain puzzling cases have been discussed in the literature recently which appear to support the thought that knowledge can be obtained by way of deduction from a falsehood; moreover, these cases put pressure, prima facie, on the thesis of counter closure for knowledge. We argue that the cases do not involve knowledge from falsehood; despite appearances, the false beliefs in the cases in question are causally, and therefore epistemologically, incidental, and knowledge is achieved despite falsehood. We also show that the (...) principle of counter closure, and the concomitant denial of knowledge from falsehood, is well motivated by considerations in epistemological theory--in particular, by the view that knowledge is first in the epistemological order of things. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

A common framing has it that any adequate treatment of quotation has to abandon one of the following three principles: (i) The quoted expression is a syntactic constituent of the quote phrase; (ii) If two expressions are derived by applying the same syntactic rule to a sequence of synonymous expressions, then they are synonymous; (iii) The language contains synonymous but distinct expressions. In the following, a formal syntax and semantics will be provided for a quotational language which adheres to all (...) three principles. The point here is not merely to provide a “possibility proof”, but to reveal the hard constraints on the theory of quotation, and to highlight certain assumptions at the syntax/semantics/post-semantics interfaces. (shrink)

Statements containing epistemic modals (e.g., “by spring 2023 most European countries may have the Covid-19 pandemic under control”) are common expressions of epistemic uncertainty. In this paper, previous published findings (Knobe & Yalcin, 2014; Khoo & Phillips, 2018) on the opposition between Contextualism and Relativism for epistemic modals are re-examined. It is found that these findings contain a substantial degree of individual variation. To investigate whether participants differ in their interpretation of epistemic modals, an experiment with multiple phases and sessions (...) is used to classify participants according to the three semantic theories of Relativism, Contextualism, and Objectivism. Through this study, some of the first empirical evidence for the kind of truth-value shifts postulated by semantic Relativism is presented. It is furthermore found that participants’ disagreement judgments match their truth evaluations and that participants are capable of distinguishing between truth and justification. In a second experimental session, it is investigated whether participants thus classified follow the norm of retraction which Relativism uses to account for argumentation with epistemic modals. Here the results are less favorable for Relativism. In a second experiment, these results are replicated and the normative beliefs of participants concerning the norm of retraction are investigated following work on measuring norms by Bicchieri (2017). Again, it is found that on average participants show no strong preferences concerning the norm of retraction for epistemic modals. Yet, it was found that participants who had committed to Objectivism and had training in logics applied the norm of retraction to might-statements. These results present a substantial challenge to the account of argumentation with epistemic modals presented in MacFarlane (2014), as discussed. Keywords: Epistemic Modals, Relativism, Norm Conflicts, Retraction, Semantics, Truth Conditions, Argumentation. (shrink)

Almost entirely ignored in the linguistic theorising on names and descriptions is a hybrid form of expression which, like definite descriptions, begin with 'the' but which, like proper names, are capitalised and seem to lack descriptive content. These are expressions such as the following, 'the Holy Roman Empire', 'the Mississippi River', or 'the Space Needle'. Such capitalised descriptions are ubiquitous in natural language, but to which linguistic categories do they belong? Are they simply proper names? Or are they definite descriptions (...) with unique orthography? Or are they something else entirely? This paper assesses two obvious assimilation strategies: (i) assimilation to proper names and (ii) assimilation to definite descriptions. It is argued that both of these strategies face major difficulties. The primary goal is to lay the groundwork for a linguistic analysis of capitalised descriptions. Yet, the hope is that clearing the ground on capitalised descriptions may reveal useful insights for the on-going research into the semantics and syntax of their lower-case or 'the'-less relatives. (shrink)

This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.

According to the AI ensoulment hypothesis, some future AI systems will be endowed with immaterial souls. I argue that we should have at least a middling credence in the AI ensoulment hypothesis, conditional on our eventual creation of AGI and the truth of substance dualism in the human case. I offer two arguments. The first relies on an analogy between aliens and AI. The second rests on the conjecture that ensoulment occurs whenever a physical system is “fit to possess” a (...) soul, where very roughly this amounts to being physically structured in such a way that the system can meaningfully cooperate with the operations of the soul. (shrink)

Virtues are acquirable, so if intellectual humility is a virtue, it’s acquirable. But there is something deeply problematic—perhaps even paradoxical—about aiming to be intellectually humble. Drawing on Edward Slingerland’s analysis of the paradoxical virtue of wu-wei in Trying Not To Try (New York: Crown, 2014), we argue for an anti-individualistic conception of the trait, concluding that one’s intellectual humility depends upon the intellectual humility of others. Slingerland defines wu-wei as the “dynamic, effortless, and unselfconscious state of mind of a person (...) who is optimally active and effective” (Trying Not to Try, 7). Someone who embodies wu-wei inspires implicit trust, so it is beneficial to appear wu-wei. This has led to an arms race between faking wu-wei on the one hand and detecting fakery on the other. Likewise, there are many benefits to being (or seeming to be) intellectually humble. But someone who makes conscious, strategic efforts to appear intellectually humble is ipso facto not intellectually humble. Following Slingerland’s lead, we argue that there are several strategies one might pursue to acquire genuine intellectual humility, and all of these involve commitment to shared social or epistemic values, combined with receptivity to feedback from others, who must in turn have and manifest relevant intellectual virtues. In other words, other people and shared values are partial bearers of a given individual’s intellectual humility. If this is on the right track, then acquiring intellectual humility demands epistemic anti-individualism. (shrink)

List of Illustrations Introduction 1 The Didactic and the Elegant: Some Thoughts on Scientific and Technological Illustrations in the Middle Ages and Renaissance 3 2 Temples of the Body and Temples of the Cosmos: Vision and Visualization in the Vesalian and Copernican Revolutions 40 3 Descartes’s Scientific Illustrations and ’la grande mecanique de la nature’ 86 4 Illustrating Chemistry 135 5 Representations of the Natural System in the Nineteenth Century 164 6 Visual Representation in Archaeology: Depicting the Missing-Link in Human (...) Origins 184 7 Towards an Epistemology of Scientific Illustration 215 8 Illustration and Inference 250 9 Visual Models and Scientific Judgment 269 10 Are Pictures Really Necessary? The Case of Sewall Wright’s ’Adaptive Landscapes’ 303 Bibliography 339 Notes on Contributors 373 Index 377. (shrink)

In this paper, we show that presentism -- the view that the way things are is the way things presently are -- is not undermined by the objection from being-supervenience. This objection claims, roughly, that presentism has trouble accounting for the truth-value of past-tense claims. Our demonstration amounts to the articulation and defence of a novel version of presentism. This is brute past presentism, according to which the truth-value of past-tense claims is determined by the past understood as a fundamental (...) aspect of reality different from things and how things are. (shrink)

We analyze a solitaire game in which a demon rearranges some cards after each move. The graph edge coloring theorems of K˝onig (1931) and Vizing (1964) follow from the winning strategies developed.

That uses of language not only can, but even normally do, have the character of actions was a fact largely unrealised by those engaged in the study of language before the present century, at least in the sense that there was lacking any attempt to come to terms systematically with the action-theoretic peculiarities of language use. Where the action-character of linguistic phenomena was acknowledged, it was normally regarded as a peripheral matter, relating to derivative or nonstandard aspects of language which (...) could afford to be ignored. (shrink)

Our universe features a harmonious match between laws and states: applying its laws to its states generates other states. This is a striking fact. Matters might have been otherwise. The universe might have been stillborn in a state unengaged by its laws. The problem of nomological harmony is that of explaining the noted striking fact. After introducing and developing this problem, we canvass candidate solutions and identify some of their virtues and vices. Candidate solutions invoke the likes of a designer, (...) axiarchic meta-laws, multiverses, essential causal powers, and Humean laws. (shrink)

Our aim here is to lay the groundwork for formal tree-ring analysis combining data from dendrochronology with formal techniques from semantics. We will present the basic syntax of, and basic compositional semantics of tree-ring structures.

Wittgenstein asks: “Now what do the words of this language signify?—What is supposed to shew what they signify, if not the kind of use they have?” Might one answer that rhetorical question by giving a compositional semantics for Wittgenstein’s builder language?

Historically, laws and policies to criminalize drug use or possession were rooted in explicit racism, and they continue to wreak havoc on certain racialized communities. We are a group of bioethicists, drug experts, legal scholars, criminal justice researchers, sociologists, psychologists, and other allied professionals who have come together in support of a policy proposal that is evidence-based and ethically recommended. We call for the immediate decriminalization of all so-called recreational drugs and, ultimately, for their timely and appropriate legal regulation. We (...) also call for criminal convictions for nonviolent offenses pertaining to the use or possession of small quantities of such drugs to be expunged, and for those currently serving time for these offenses to be released. In effect, we call for an end to the “war on drugs.”. (shrink)

One's inaccuracy for a proposition is defined as the squared difference between the truth value (1 or 0) of the proposition and the credence (or subjective probability, or degree of belief) assigned to the proposition. One should have the epistemic goal of minimizing the expected inaccuracies of one's credences. We show that the method of minimizing expected inaccuracy can be used to solve certain probability problems involving information loss and self-locating beliefs (where a self-locating belief of a temporal part of (...) an individual is a belief about where or when that temporal part is located). We analyze the Sleeping Beauty problem, the duplication version of the Sleeping Beauty problem, and various related problems. (shrink)

Infallibilism leads to skepticism, and fallibilism is plagued by the threshold problem. Within this narrative, the pragmatic turn in epistemology has been marketed as a way for fallibilists to address the threshold problem. In contrast, pragmatic versions of infallibilism have been left unexplored. However, I propose that going pragmatic offers the infallibilist a way to address its main problem, the skeptical problem. Pragmatic infallibilism, however, is committed to a shifty view of epistemic certainty, where the strength of a subject’s epistemic (...) state can vary depending upon the practical context. Pragmatic views of epistemic strength are quite radical so the argumentative goal of my discussion is to argue for its plausibility, thereby arguing for the plausibility of pragmatic infallibilism. To do so, I discuss the role that the framing of decision problems and the construction of our deliberative attitudes have in our theories of rational choice. And I explore a way in which these necessary components of a normative theory of rationality can be used to motivate pragmatic views of evidential support. Finally, since the plausibility of our pragmatic account will depend upon the plausibility of a constructive account of rational choice, I conclude by comparing the adequacy of the constructive account with orthodox Bayesian and knowledge-based accounts. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Kaplan (1989) famously claimed that monsters--operators that shift the context--do not exist in English and "could not be added to it". Several recent theorists have pointed out a range of data that seem to refute Kaplan's claim, but others (most explicitly Stalnaker 2014) have offered a principled argument that monsters are impossible. This paper interprets and resolves the dispute. Contra appearances, this is no dry, technical matter: it cuts to the heart of a deep disagreement about the fundamental structure of (...) a semantic theory. We argue that: (i) the interesting notion of a monster is not an operator that shifts some formal parameter, but rather an operator that shifts parameters that play a certain theoretical role; (ii) one cannot determine whether a given semantic theory allows monsters simply by looking at the formal semantics; (iii) theories which forbid shifting the formal "context" parameter are perfectly compatible with the existence of monsters (in the interesting sense). We explain and defend these claims by contrasting two kinds of semantic theory--Kaplan's (1989) and Lewis's (1980). (shrink)

Stewart Cohen’s New Evil Demon argument raises familiar and widely discussed concerns for reliabilist accounts of epistemic justification. A now standard response to this argument, initiated by Alvin Goldman and Ernest Sosa, involves distinguishing different notions of justification. Juan Comesaña has recently and prominently claimed that his Indexical Reliabilism (IR) offers a novel solution in this tradition. We argue, however, that Comesaña’s proposal suffers serious difficulties from the perspective of the philosophy of language. More specifically, we show that the two (...) readings of sentences involving the word ‘justified’ which are required for Comesaña’s solution to the problem are not recoverable within the two-dimensional framework of Robert Stalnaker to which he appeals. We then consider, and reject, an attempt to overcome this difficulty by appeal to a complication of the theory involving counterfactuals, and conclude the paper by sketching our own preferred solution to Cohen’s New Evil Demon. (shrink)

The gist of the many-subjects argument is that, given physicalism, it’s hard to avoid the absurd result that there are many conscious subjects in your vicinity with more-or-less the same experiences as you. The most promising ways of avoiding this result have a consequence almost as bad: that there are many things in your vicinity that are in a state only trivially different from being conscious, a state with similar normative significance. This paper clarifies and defends three versions of the (...) many-subjects argument. One version poses the threat of conscious parts. Its key premise is that if physicalism is true, then not only you, but also certain parts of your body, are conscious. These parts might include your brain, your head, all-of-you-except-your-left-pinky, all-of-your-brain-except-one-neuron, or your left cerebral hemisphere. A second version poses the threat of conscious coinciders, things that currently occupy the same spatial region as you and share all your matter. Its key premise is that if physicalism is true, then not only you, but also some things that currently coincide with you, are conscious. These might include your body or the aggregate of particles of which you are currently composed. A third version poses the threat of conscious person candidates, the many human-body-shaped material objects in your vicinity that mostly overlap one another, differing only in a few peripheral atoms. This version claims that if physicalism is true, then there are many conscious person-candidates in your vicinity. -/- . (shrink)

The modal argument against materialism, in its most standard form, relies on a compatibility thesis to the effect that the physical truths are compatible with the absence of consciousness. I propose an alternative modal argument that relies on an incompatibility thesis: The existence of consciousness is incompatible with the proposition that the physical truths provide a complete description of reality. I show that everyone who accepts the premises of the standard modal argument must accept the premises of the revised modal (...) argument, but not vice versa. (shrink)

Keith DeRose has argued that the two main problems facing subject-sensitive invariantism come from the appropriateness of certain third-person denials of knowledge and the inappropriateness of now you know it, now you don't claims. I argue that proponents of SSI can adequately address both problems. First, I argue that the debate between contextualism and SSI has failed to account for an important pragmatic feature of third-person denials of knowledge. Appealing to these pragmatic features, I show that straightforward third-person denials are (...) inappropriate in the relevant cases. And while there are certain denials that are appropriate, they pose no problems for SSI. Next, I offer an explanation, compatible with SSI, of the oddity of now you know it, now you don't claims. To conclude, I discuss the intuitiveness of purism, whose rejection is the source of many problems for SSI. I propose to explain away the intuitiveness of purism as a side-effect of the narrow focus of previous epistemological inquiries. (shrink)

Predictive algorithms are playing an increasingly prominent role in society, being used to predict recidivism, loan repayment, job performance, and so on. With this increasing influence has come an increasing concern with the ways in which they might be unfair or biased against individuals in virtue of their race, gender, or, more generally, their group membership. Many purported criteria of algorithmic fairness concern statistical relationships between the algorithm’s predictions and the actual outcomes, for instance requiring that the rate of false (...) positives be equal across the relevant groups. We might seek to ensure that algorithms satisfy all of these purported fairness criteria. But a series of impossibility results shows that this is impossible, unless base rates are equal across the relevant groups. What are we to make of these pessimistic results? I argue that none of the purported criteria, except for a calibration criterion, are necessary conditions for fairness, on the grounds that they can all be simultaneously violated by a manifestly fair and uniquely optimal predictive algorithm, even when base rates are equal. I conclude with some general reflections on algorithmic fairness. (shrink)

In large, impersonal moral orders many of us wish to maintain good will toward our fellow citizens only if we are reasonably sure they will maintain good will toward us. The mutual maintaining of good will, then, requires that we somehow communicate our intentions to one another. But how do we actually do this? The current paper argues that when we engage in moral responsibility practices—that is, when we express our reactive attitudes by blaming, praising, and resenting—we communicate a desire (...) to maintain good will to those in the community we are imbedded in. Participating in such practices alone will not get the job done, though, for expressions of our reactive attitudes are often what economists call cheap talk. But when we praise and blame in cases of moral diversity, expressions of our reactive attitudes act as costly signals capable of solving our social dilemma. (shrink)

In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself didn't make use (...) of this notation in his series of groundbreaking papers on semantics. That raises the question: When was the ⟦.⟧-notation introduced to semantics? This note answers that question. (shrink)

A common view among nontheists combines the de jure objection that theism is epistemically unacceptable with agnosticism about the de facto objection that theism is false. Following Plantinga, we can call this a “proper” de jure objection—a de jure objection that does not depend on any de facto objection. In his Warranted Christian Belief, Plantinga has produced a general argument against all proper de jure objections. Here I first show that this argument is logically fallacious (it makes subtle probabilistic fallacies (...) disguised by scope ambiguities), and proceed to lay the groundwork for the construction of actual proper de jure objections. (shrink)